\documentclass[12pt,oneside,a4]{article}

\usepackage[T2A]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[russian]{babel}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{lastpage}

\hoffset=-28mm
\voffset=-22mm
\setlength\textheight{245mm}
\setlength\textwidth{175mm}
\sloppy

\makeatletter

\renewcommand{\@oddhead}{%
\parbox{\textwidth}{%
\sffamily\begin{center}
Языки программирования и методы трансляции
\\[2pt]
\hrule%
\end{center}}%
}

\renewcommand{\@oddfoot}{%
\parbox{\textwidth}{%
\hrule%
\vspace{6pt}%
\sffamily{{\hfil}Страница \thepage\space из \pageref{LastPage}\hfil}}%
}%

\newcommand{\eps}{\varepsilon}

\makeatother

\begin{document}

\section*{\sf\textbf{Вопросы к экзамену}}

\begin{enumerate}

\subsection*{Конечные автоматы}

\item
	Алфавит. Языки. Операции над языками. 
	Конечные автоматы. Детерминированный и недетерминированный конечный
	автомат. Их эквивалентность.

\item
	Автомат с $\varepsilon$-переходами, $\varepsilon$-замыкание. 

\item
	Регулярные языки. Совпадение классов автоматных
	и регулярных языков.
	
\item
	Замкнутость регулярных языков относительно алгебраических
	операций.
	
\item
	Лемма о разрастании для регулярных языков.
	
\item
	Эквивалентность и минимизация конечных автоматов.
	
\subsection*{Контекстно-свободные грамматики}

\item
	Формальные грамматики. Иерархия Хомского. 
	Автоматные грамматики. Эквивалентность автоматных грамматик и конечных автоматов.
	
\item
	Контекстно-свободные грамматики. Контекстно-свободные языки. Дерево разбора. 
	Левое и правое порождения. Удаление бесполезных символов из грамматик. 

\item
	Удаление $\varepsilon$-правил из КС-грамматик. Удаление цепных продукций из КС-грамматик.
	Нормальная форма Хомского. Алгоритм приведения к НФХ. 

\item
 	Алгоритм Кока-Янгера-Касами.

\item
	Лемма о разрастании для КС-грамматик.

\item
	Автомат с магазинной памятью. Недетерминированные и детерминированные
	МП-автоматы. 
	Автоматы с допуском по допускающим состояниями и по пустому стеку,
	их эквивалентность в недетерминированном случае.

\item
	Эквивалентность МП-автоматов и КС-грамматик. Построение автомата по грамматике.

\item
	Эквивалентность МП-автоматов и КС-грамматик. Построение грамматики по автомату.

\end{enumerate}

\end{document}
